\frame
{
  \frametitle{BugInstance/BugAnnotation}
  BugInstance: a reported static analysis warning

  BugAnnotation: information about a warning
  \B
  \item BugInstance consists of type, priority, and BugAnnotations
    \B
    \item Type: what kind of bug is suspected
    \item Priority: how severe?
    \E
  \item BugAnnotations describe
    \B
    \item Where the issue occurs (class, method, bytecode, source file, line number)
    \item Other information
    \E
  \E
}
